Identity and Subsumption
نویسندگان
چکیده
The intuitive simplicity of the so-called is-a (or subsumption) relationship has led to widespread ontological misuse. Where previous work has focused largely on the semantics of the relationship itself, we concentrate here on the ontological nature of its arguments, in order to tell whether a single is-a link is ontologically well-founded. For this purpose, we introduce some techniques based on the philosophical notions of identity, unity, and essence, which have been adapted to the needs of taxonomy design. We demonstrate the effectiveness of these techniques by taking real examples of poorly structured taxonomies, and revealing cases of invalid generalization.
منابع مشابه
Ideal Refinement of Datalog Clauses Using Primary Keys
Inductive Logic Programming (ILP) algorithms are frequently used to data mine multi-relational databases. However, in many ILP algorithms the use of primary key constraints is limited. We show how primary key constraints can be incorporated in a downward refinement operator. This refinement operator is proved to be finite, complete, proper and therefore ideal for clausal languages defined by pr...
متن کاملAdding Number Restrictions to a Four-Valued Terminological Logic
An intuitive four-valued semantics can be used to develop expressively powerful terminological logits which have tractable subsumption. If a fourvalued identity is also used, number restrictions can be added to the logic while retaining tracts bility. The subsumptions supported by the logic are a type of “structural” subsumption, where each structural component of one concept must have an analo...
متن کاملA Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs
Tabled resolution improves e ciency as well as termination properties of logic programs by sharing answer computations across \similar" subgoals. Similarity based on subsumption of subgoals rather than variance (i.e., identity modulo variable renaming) promotes more aggressive sharing, but requires mechanisms to index answers from dynamically growing sets. Earlier we proposed Dynamic Threaded S...
متن کاملObject Identity in QUIXOT E
Object identity plays a key role in object-oriented systems, including deductive and object-oriented databases (DOODs). We revisit various discussions about it, propose some criteria to represent object identity, and focus mainly on the characteristics in QUIXOT E , which is a knowledge representation language developed by ICOT and can be considered as one of DOOD languages. In QUIXOT E , objec...
متن کاملA Formal Ontology of Properties
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a variety of tasks. In this paper we show how a formal ontology of unary properties can help using the subsumption relation in a disciplined way. This formal ontology is based on some meta-properties built around the fun...
متن کامل